Blar i NTNU Open på forfatter "Rizopoulos, DIMITRIOS"
-
Research directions regarding the adoption of formal methods in the railway signaling sector: determinants and next steps for future-proof railways
Rizopoulos, DIMITRIOS; Olsson, Nils; Lindahl, Anders; Lindfeldt, Olov (Journal article; Peer reviewed, 2020)The terms Formal Methods (FMs) refer to a set of techniques and software toolkits that, based on mathematical rigor, can enhance safety, security, and the efficient operation of a wide range of systems. Considering that ...